gdk: Add gdk_seat_get_tools() API call
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 28 Jul 2020 14:51:41 +0000 (16:51 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 28 Jul 2020 22:11:34 +0000 (00:11 +0200)
commitb52ad33031c06ad517a704bc055f93c9920e4b4f
treee49104a2a97f1d21961769cdb927861fb24bb6e9
parent254007a142a41435ff16b1cb7859040c188ffae8
gdk: Add gdk_seat_get_tools() API call

There's GdkSeat::tool-added and ::tool-removed, but there's no
API to query the known tools. Add this call.
docs/reference/gdk/gdk4-sections.txt
gdk/gdkseat.c
gdk/gdkseat.h
gdk/gdkseatdefault.c
gdk/gdkseatprivate.h
gdk/wayland/gdkdevice-wayland.c